1. Logic programming and automated reasoning : international conference, LPAR 92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
Author: LPAR, )1992 : Saint Petersburg, Russia(
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Logic programming - Congresses , Automatic theorem proving - Congresses
Classification :
QA
76
.
63
.
I55
1992
